منابع مشابه
The stuck-at fault: it ain't over 'til it's over
The stuck-at fault model has existed for nearly 40 years [1]. In that time, it has been applied to a large number of interesting and challenging problems in the test area, including IC and board level fault modeling, test generation, failure isolation, and fault diagnosis. Back in the days of bipolar technologies, there often existed an isomorphism between instances of stuck-at faults and actua...
متن کاملDu TAL au TIL
position paper. Historically two types of NLP have been investigated: fully automated processing of language by machines (NLP) and autonomous processing of natural language by people, i.e. the human brain (psycholinguistics). We believe that there is room and need for another kind, INLP: interactive natural language processing. This intermediate approach starts from peoples’ needs, trying to br...
متن کاملDeductive Reasoning using TIL
Transparent Intensional Logic (TIL) is a highly expressive logical system apt for the logical analysis of natural language. It operates with a single procedural semantics for all kinds of logical-semantic context, whether extensional, intensional or hyper-intensional, while adhering to the compositionality principle throughout. The reason why we vote for a rich procedural semantics is this. A c...
متن کاملTID Effect in SOI Technology
In this paper, a brief overview of TID effect in SOI technology is presented. The introduction of buried oxide(BOX) adds vulnerability to TID effect in SOI transistors because of its large thickness. Also the BOX introduces special charge traps, the delocalized spin centers, which in most cases are positive. The charge buildup in BOX could increase the leakage current in front gate transistor i...
متن کاملTIL and Logic Programming
The paper introduces a method of transition from TIL into Prolog system and vice versa, in order to utilize Prolog inference machine in the deductive system of TIL. We specify a subset of the set of TIL constructions the elements of which can be encoded in Prolog language, and introduce the method of translation from TIL into Prolog. Since Prolog is less expressive than TIL, we have to build up...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Klinisk Sygepleje
سال: 2013
ISSN: 1903-2285,0902-2767
DOI: 10.18261/issn1903-2285-2013-03-01